$\vdash$  ($\lambda$$n$,$z$. \{$n$$\ldots\,$\}) $\in$ $\mathbb{Z}\rightarrow$($\downarrow$True)$\rightarrow$Type